package model.logic.operand;


/**
 * The ZeroConstant is a possible Operand for the second argument of a <tt>Proposition</tt>. <br>
 * Singleton. 
 * @author Marius Tempelmeier 
 *
 */
public final class ZeroConstant implements Operand {

	/**
	 * singleton-instance of <tt>ZeroConstant</tt>.
	 */
	private static final ZeroConstant THE_ZERO_CONSTANT = new ZeroConstant();
	
	private ZeroConstant() { }

	public static ZeroConstant getInstance() {
		return ZeroConstant.THE_ZERO_CONSTANT;
	}
}
